Correction TD 1 à 4
Important
Cette correction est là pour vous aider à vous entraîner. Les réponses ne sont pas détaillées, mais vos réponses en examen doivent être détaillées, vous devez expliquer la façon dont vous êtes arrivés au résultat
TD 1
Rappels sur l’exponentielle et le logarithme
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- .
Conversions de base
- ,
- ,
- ,
- ,
- ,
- .
- ,
- ,
- ,
- ,
- ,
- ,
- .
Propriétés des représentations en base b
- Avec 2 chiffres : 3 (11). Avec 3 chiffres : 7 (111). Avec 4 chiffres : 15 (1111). Avec n chiffres : .
- Il faut chiffres.
- Pour une base b : et .
- Il faut 6 chiffres binaires.
- Il faut 2 chiffres hexadécimaux.
TD 2
Équivalences du calcul des propositions
À l’aide des tables de vérité, trouver les propositions équivalentes.
Sans utiliser les tables de vérité, montrer les équivalences suivantes.
TD 3
Vérité et implication sémantique
Soient et deux formules. Parmi les affirmations suivantes, lesquelles sont vraies (au niveau metalogique)?
Si l’affirmation est vraie, montrer un exemple à l’aide des tables de vérité et justifier pourquoi c’est vrai dans le cas général. Si l’affirmation est fausse, donner un contre-exemple à l’aide des tables de vérité.
- est une tautologie si et seulement si sa négation est une antilogie. VRAI
- Si et sont satisfaisables, alors est satisfaisable. FAUX
- Si et sont des tautologies, alors est une tautologie. VRAI
- Si est une tautologie, alors au moins l’une de ou est une tautologie. FAUX
- Si est une tautologie, alors et sont des tautologies. FAUX
Soient et deux formules. Parmi les affirmations suivantes, lesquelles sont vraies (au niveau metalogique, bien sûr)?
- , VRAI
- , VRAI
- , VRAI
- , FAUX
- , FAUX
- , VRAI
- . VRAI
Même exercice qu’avant, mais esquissez seulement les preuves.
- si et seulement si , VRAI
- si et seulement si est une tautologie, VRAI
- Si , alors , VRAI
- Si , alors , FAUX
- Si et , alors , VRAI
- et si et seulement si , VRAI
- si et seulement si , FAUX
- Si et , alors est une tautologie, VRAI
- Si et , alors , VRAI
- Si et , alors , VRAI
Déduction naturelle
Les règles utilisées sont :
- “Élimination du et (gauche)”
- “Introduction du ou (gauche)”
- Deduction + “Élimination du et (gauche)”
- Modus ponens + Affaiblissement
- Deduction + Affaiblissement
- Absurde + “Introduction du et” + Affaiblissement
- Deduction + Deduction + Affaiblissement
- Absurde + “Introduction du et” + Affaiblissement
- Modus ponens + ( Absurde + “Introduction du et” + Affaiblissement) (Deduction + Affaiblissement)
- : Deduction + Deduction + Absurde + (Affaiblissement)(Modus ponens + Affaiblissement)
TD 4
Sémantique du calcul des prédicats
- Equivalentes
- Equivalentes
- Non équivalentes
- Equivalentes
- Non équivalentes
- Non équivalentes
Forme prénexe
Mettre les prédicats suivants en forme normale prénexe.
-
,
-
,
-
,
-
.
Prédicats en arithmétique
Modéliser le langage des mathématiques.
- ,
- ,
- ,
- .
Important
Cette correction est là pour vous aider à vous entraîner. Les réponses ne sont pas détaillées, mais vos réponses en examen doivent être détaillées, vous devez expliquer la façon dont vous êtes arrivés au résultat.
TD 5
Ensembles
- ,
- ,
- .
Fonctions
Soit une fonction totale (une application). Soient et des sous-ensembles de et soient et des sous-ensembles de . A-t-on nécessairement: En cours de correction
-
: NON. , avec .
-
: OUI
Soit avec . Donc ou , donc ou . On a alors . Donc .
Si alors avec ou avec donc tel que . Donc .
On a l’égalité.
- : OUI
Soit donc et . Donc donc . On a alors et . Donc et .
- : OUI (Vérifier les deux sens)
- : NON
et . Donc , et
- : NON
Injectivité/Surjectivité
-
définie par : Surjective
-
définie par : Injective
-
définie par : Injective + Surjective.
-
définie par : Injective
-
définie par : Injective + Surjective
Composition
Soient et deux fonctions et . Montrer les propositions suivantes.
- Si est surjective alors est surjective.
Soit . tel que . Pour , on a . Comme h est surjective, g est surjective.
- Si est injective alors est injective.
Soit . Si alors car h injective.
Vu que h est injective, on a a=a’ donc f injective.
- Si est injective et est surjective alors est injective.
On a f injective car h est injective. Donc f est bijective. On considère .
est injective par composition d’implication injectives.
- Si est surjective et est injective alors est surjective.
On a g surjective car h est surjective . Donc g est bijective. On considère .
est surjective par composition d’implication surjectives.
TD 6
Relations et ensembles
On considère des relations entre l’ensemble et l’ensemble . Écrire les relations suivantes comme des sous ensembles de .
- « est inférieur strictement à » : R = {(1,3),(1,4),(1,5),(1,6),(3,4),(3,5),(3,6),(5,6)}
- « est inférieur ou égal à » : R = {(1,3),(1,4),(1,5),(1,6),(3,3),(3,4),(3,5),(3,6),(5,5),(5,6)}
- « divise » : R = {(1,3),(1,4),(1,5),(1,6),(3,6),(3,3),(5,5)}
Fonctions
En cours de correction
-
La fonction définie par : Réflexive, Symétrique, Transitive.
-
La fonction définie par : Non réflexive, Non symétrique, Non transitive ;
-
La fonction définie par : Non réflexive, Symétrique, Non transitive ;
Les relations suivantes sont-elles des relations d’ordre sur les entiers? Et sur les rationnels?
- si et seulement si : Ordre sur les entiers et les rationnels.
- si et seulement si : Pas une relation d’ordre (pas réflexive).
- si et seulement si est multiple de Ordre sur les entiers mais pas sur les rationnels.
- si et seulement si l’écriture de en base dix est contenue dans l’écriture de en base dix (ex. : ) : Ordre.
Montrer que pour tout entier , la relation « équivalent modulo » est une relation d’équivalence sur les entiers. Caractériser les classes d’équivalence. En cours de correction
Relation d’équivalence :
Réflexivité : bRb : b a le même reste de la division par n que b, donc la relation est réflexive
Symétrique : aRb -> bRa : On a aRb donc a-b = qn, donc b-a=-qn =(-q)n donc b est équivalent modulo à a, donc la relation est symétrique
Transitive : aRb et bRc : On a a-b = qn et b-c=rn. Donc b = rn’ +c. On a a - (rn+c) = qn -> a-c = qn + rn -> a-c = (q+r)n, donc la relation est transitive.
Les classes d’équivalences :
Soit . On définit sur l’ensemble la relation : si et seulement si est pair et est divisible par 3.
- Donner le cardinal de : taille de l’ensemble : 8*8 = 64.
- Vérifier que est une relation d’équivalence.
.
Réflexivité : pair. divisible par 3. Donc la relation est réflexive.
Transitivité : pair et pair. La somme de nombres pairs est toujours pair donc est aussi pair.
divisible par 3 et divisible par 3. La somme de deux nombres divisibles par 3 est divisible par 3 donc est aussi divisible par 3. Donc la relation est transitive.
Symétrie : pair donc est pair aussi. divisible par 3 donc est aussi divisible par 3. Donc la relation est symétrique.
La relation est réflexive, transitive et symétrique, donc c’est une relation d’équivalence.
- Calculer le nombre d’éléments des classes .
Pour = {(1,1),(3,1),(5,1),(7,1),(1,4),(3,4),(5,4),(7,4),(1,7),(3,7),(5,7),(7,7)} = 12 éléments.
Pour = {(1,2),(3,2),(5,2),(7,2),(1,5),(3,5),(5,5),(7,5),(1,8),(3,8),(5,8),(7,8)} = 12 éléments.
Pour = {(1,3),(3,3),(5,3),(7,3),(1,6),(3,6),(5,6),(7,6)} = 8 éléments.
- Soit . Montrer que si , alors .
Si , on a x-1 qui est pair. x-1 pair donc x-1 +2 reste pair donc x+1 est aussi pair.
- Combien y a-t-il de classes d’équivalence différentes ? Donner leur liste.
p-p’ pair donc (p,p’) pair ou (p,p’) impaire. On a 2 possibilités.
q-q’ divisible par 3 si q et q’ sont congrus modulo 3. On a 2 possibilités.
On a alors 2*3= 6 classes d’équivalences : (1,1),(1,2),(1,3),(2,1),(2,2),(2,3).
- Déterminer le cardinal de chaque classe d’équivalence. Le résultat est-il compatible avec la cardinalité de ?
card(2,1) = card(1,1) = 12. card(1,2) = card(2,2) = 12. card(1,3) = card (2,3) = 8.
On a 4 * 12 + 2*8 = 64 (card(ExE)).
TD 7
Preuves sur les entiers
Démontrer par induction les propriétés suivantes.
- Pour tout entier , ;
Pour n = 0 : .
On suppose la propriété vraie pour n.
Prouvons-la pour n+1 : CQFD
- Pour tout entier , est divisible par 6 ;
Pour n = 0 : divisible par 6.
On suppose la propriété vraie pour n.
Prouvons-la pour n+1 : On a divisible par 6, donc est divisible par 6, et est donc divisible par 6 (par addition de nombre divisible par 6). CQFD
- Pour tout entier , est divisible par 3 ;
Pour n = 0 : est divisible par 6.
On suppose la propriété vraie pour n.
Prouvons-la pour n+1 :
.
Par hypothèse est divisible par 3. On a divisible par 3, donc par addition de nombres divisibles par 3, est divisible par 3.
CQFD
- Pour tout entier , ;
- Pour tout entier , ;
- Pour tout entier , .
Prouver les inégalités suivantes.
- pour tout .
- pour tout .
Entiers déguisés
Soient et des ensembles finis, et soit une fonction. Prouver que
- Si est injective, alors ;
- Si est surjective, alors .
Soit une fonction. On définit par récurrence les applications par et .
- On suppose que est injective. Montrer que pour tout entier , est injective.
- On suppose que est surjective. Montrer que pour tout entier , est surjective.